1 post in category "contract annotations".
Better code analysis with Resharper 7 contract annotations
Resharper 7 introduces support for Code Contracts annotations in .NET code. This allows for more robust static analysis and validation of code contracts.